GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning
نویسنده
چکیده
Representing and reasoning with qualitative geospatial relationships among regions is an important task in many geospatial applications. In this paper, we present a Datalog rulebase, GeospatialRules, which can be used for this task. The rulebase is built on top of the Region Connection Calculus (RCC). It includes rules, facts, and queries. The rules in GeospatialRules consist of a set of rules that are equivalent to the Datalog fragment of the RCC axioms and additional rules which express part of the RCC knowledge that are not captured by the Datalog fragment. The XML version of the rulebase complies to the Deliberation RuleML 1.01 standard, so that it allows the use of RuleML-compatible implementations for geospatial reasoning.
منابع مشابه
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research
Rule-Based Data Access (RBDA) enables automated reasoning over a knowledge base (KB) as a generalized global schema for the data in local (e.g., relational or graph) databases reachable through mappings. RBDA can semantically validate, enrich, and integrate heterogeneous data sources. This paper proposes an RBDA architecture layered on Datalog RuleML, and uses it for the ∆Forest case study on t...
متن کاملA Datalog RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research
Rule-Based Data Access (RBDA) enables automated reasoning over a knowledge base (KB) as a generalized global schema for the data in local (e.g., relational or graph) databases reachable through mappings. RBDA can semantically validate, enrich, and integrate heterogeneous data sources. This paper proposes an RBDA architecture layered on Datalog RuleML, and uses it for the ∆Forest case study on t...
متن کاملPort Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic
The Decision Management (DM) Community Challenge of March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security Code. Based on an analysis of the moderately controlled English rules and current online solutions, we formalized the rules in PositionalSlotted, Object-Applicative (PSOA) RuleML. This resulted in...
متن کاملRulebase Integration for eCollaboration
This paper provides a classification of rulebase integration for eCollaboration. A variety of conflicts between rulebases are identified and guidelines for conflict resolutions are suggested. Based on the classification, a framework for rulebase integration is proposed containing two different integration approaches, namely interoperation and interchange. The problem of semantics-preserving rul...
متن کاملA Report on the Ninth International Web Rule Symposium
2015) was held in Berlin, Germany, from August 2–5. The symposium was organized by Adrian Paschke (general chair), Fariba Sadri (program cochair), Nick Bassiliades (program cochair), and Georg Gottlob program cochair). A total number of 94 papers were submitted from which 22 full papers, 1 short paper, 2 keynote papers, 3 track papers, 4 tutorial papers, 6 industry papers, 6 challenge papers, 3...
متن کامل